Search Results
Chantal Keller: SMTCoq: Coq Automation and its Application to Formal Mathematics
GReTA-ExACT session #1: "SMTCoq: the power of SMT solving in Coq"
SMTCoq: Safe and Efficient Automation in Coq
Coq Test
"SMTCoq: A plug-in for integrating SMT solvers into Coq" Alain Mebsout | CAV 2017
Software Foundations in Coq — Steve Zdancewic 1.1
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
Sudoku Coq Demo
A SAT solver simulator for analyzing variable communities- IlonaOlga
An Automated Approach to the Collatz Conjecture
"Maximum Satisfiability in Software Analysis: Applications and Techniques" Mayur Naik | CAV 2017
CS420 14 05 Proving a language is not regular in Coq
